/*
 * DRIVER_GUID: 5f5f73b6-a75a-4f16-9504-7c8f5790d248
 * TRACE_GUID: a9d12309-90f0-4003-bb89-5b8c28893821
 */

#pragma once

#ifndef ARRAY_SIZE
#define ARRAY_SIZE(x) (sizeof(x) / sizeof(x[0]))
#endif

//
// Include the WUDF DDI 
//

#include "wudfddi.h"

//
// Use specstrings for in/out annotation of function parameters.
//

#include "specstrings.h"

//
// Forward definitions of classes in the other header files.
//

//typedef class CMyDriver *PCMyDriver;
//typedef class CMyDevice *PCMyDevice;

//
// Define the tracing flags.
//

#define WPP_CONTROL_GUIDS                                                   \
    WPP_DEFINE_CONTROL_GUID(                                                \
        MyDriverTraceControl, (a9d12309,90f0,4003,bb89,5b8c28893821),       \
                                                                            \
        WPP_DEFINE_BIT(MYDRIVER_ALL_INFO)                                   \
        )

#define WPP_FLAG_LEVEL_LOGGER(flag, level)                                  \
    WPP_LEVEL_LOGGER(flag)

#define WPP_FLAG_LEVEL_ENABLED(flag, level)                                 \
    (WPP_LEVEL_ENABLED(flag) &&                                             \
     WPP_CONTROL(WPP_BIT_ ## flag).Level >= level)

//
// This comment block is scanned by the trace preprocessor to define our
// Trace function.
//
// begin_wpp config
// FUNC Trace{FLAG=MYDRIVER_ALL_INFO}(LEVEL, MSG, ...);
// end_wpp
//

//
// Driver specific #defines
//

#define MYDRIVER_TRACING_ID L"Everyman\\dev0comport"
#define MYDRIVER_CLASS_ID { 0x5f5f73b6, 0xa75a, 0x4f16, { 0x95, 0x04, 0x7c, 0x8f, 0x57, 0x90, 0xd2, 0x48 } }


//
// Include the type specific headers.
//

#include "comsup.h"
#include "Driver.h"
#include "Device.h"

